Nuprl Definition : so_lambda2
13,42
postcript
pdf
(
x
,
y
.
t
(
x
;
y
))(
x
,
y
) ==
t
(
x
;
y
)
latex
Up
core
2
,
core
2
Definitions
x
.
A
(
x
)
origin
x,y. t(x;y))(x,y) == t(x;y) x,y. t(x;y))(x,y) == t(x;y) x.A(x)